RWTH Aachen University

Results: 580



#Item
131

Inferring Lower Bounds for Runtime Complexity J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany joint work with Florian Frohn, Jera Hensel, Cornelius Aschermann, and Thomas Str¨

Add to Reading List

Source URL: verify.rwth-aachen.de

Language: English - Date: 2015-09-09 03:29:58
    132

    Intersecting Data to Closed Sets with Constraints Taneli Mielik¨ainen HIIT Basic Research Unit Department of Computer Science University of Helsinki, Finland

    Add to Reading List

    Source URL: sunsite.informatik.rwth-aachen.de

    Language: English - Date: 2003-11-14 14:07:46
      133

      SAT Instances for Termination Analysis with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

      Add to Reading List

      Source URL: verify.rwth-aachen.de

      Language: English - Date: 2015-04-16 09:50:03
        134

        Transition Systems and Linear-Time Properties Part #1 of Logic and Verification Joost-Pieter Katoen Software Modeling and Verification Group RWTH Aachen University MOVEP 2014, University of Nantes, July 7, 2014

        Add to Reading List

        Source URL: movep14.irccyn.ec-nantes.fr

        Language: English - Date: 2015-11-09 04:09:22
          135

          Biographical Sketch Univ.-Prof. Dr. rer. nat. Leif Kobbelt Computer Graphics and Multimedia RWTH Aachen University DAachen

          Add to Reading List

          Source URL: www.cces.rwth-aachen.de

          Language: English - Date: 2007-10-25 05:34:05
            136

            Interactive Volume-Based Visualization and Exploration for Diffusion Fiber Tracking Dominik Sibbing, Henrik Zimmer, Robin Tomcin, Leif Kobbelt Computer Graphics and Multimedia, RWTH Aachen University -aach

            Add to Reading List

            Source URL: www.graphics.rwth-aachen.de

            Language: English - Date: 2015-04-09 02:53:02
              137

              Call For Papers European Research Consortium for Informatics and Mathematics Co-chairs: Stefan Kowalewski (RWTH Aachen University)

              Add to Reading List

              Source URL: es-static.fbk.eu

              Language: English - Date: 2010-08-16 06:20:11
                138

                Synthesis of Transducers from Automatic Specifications ¨ Christof Loding RWTH Aachen University, Germany

                Add to Reading List

                Source URL: highlights-conference.org

                Language: English - Date: 2014-09-04 06:33:26
                  139

                  The Ordering of the Natural Numbers with a Unary Predicate: Approaches to Show Decidability Results Wolfgang Thomas RWTH Aachen University

                  Add to Reading List

                  Source URL: www.automata.rwth-aachen.de

                  Language: English - Date: 2012-05-29 10:56:29
                    140

                    Ternary quadratic forms over number fields with small class number Markus Kirschmer1 , David Lorch Lehrstuhl B f¨ ur Mathematik RWTH Aachen University

                    Add to Reading List

                    Source URL: www.math.rwth-aachen.de

                    Language: English - Date: 2015-02-09 09:34:28
                      UPDATE